<?php
	function cnameTouser($cname) {
		$map = json_decode(file_get_contents('user_company_mapping.json'),true);
		if(!isset($map[$cname])) {
			return "";
		}
		else
			return $map[$cname];
	}
?>
